Simplified Bi-Directional Transformation of UML Activities into Petri Nets
نویسنده
چکیده
Model-to-Model mapping should offer the advantage of fully operational bi-directional mapping between different models or formalisms that share some common properties. However in reality this is not easily achievable. It is acknowledged that previous work was presented where it was shown how Triple Graph Grammars are useful to achieve the mapping. UML 2 activities share some similarities with Petri nets. In this paper a simple condensed rule based solution for bi-directional mapping or transformation of UML 2 activities into Petri nets is presented. A practical example is used to illustrate the bi-directional transformation possibility and some conclusions are given. Key-Words: Petri Nets, Activities, UML2, Bi-directional Transformation, Triple graph grammars
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملMapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...
متن کاملDerivation and Evaluation of OSAN Models from UML Models of Business Processes
The unified modelling language (UML) is a de facto standard for object-oriented modelling. However, the formal semantics for the notations included in UML are not provided, which are a key requirement for the verification and evaluation purposes. To solve this problem, Petri nets formalism has been used as a complement to UML in several research projects. However, there is not a complete transf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011